Foundations of mathematics

Results: 359



#Item
131Streaming algorithm / Sketch / Database management systems / Database theory / Vector space / Lossless data compression / Degrees of freedom / Database / Algebra / Mathematics / Algorithms

R Foundations and Trends in sample Vol. xx, No xx (xxxx) 1–64 c xxxx xxxxxxxxx

Add to Reading List

Source URL: people.cs.umass.edu

Language: English - Date: 2012-02-12 16:03:18
132Philosophy of science / The Unreasonable Effectiveness of Mathematics in the Natural Sciences / Philosophical realism / Reality / Scientific theory / Theory / Cognitive science / Truth / Relativism / Science / Philosophy / Ethology

Foundations of Sciences Dch-FOS "A physical approach to the construction of cognition and to cognitive evolution@

Add to Reading List

Source URL: www.vub.ac.be

Language: English - Date: 2007-06-14 11:16:16
133Online algorithms / PUF / Advantage / Adversary model / Applied mathematics / Mathematics / Computer science / Physical Unclonable Function / Randomness / Analysis of algorithms

Foundations of Reconfigurable PUFs Jonas Schneider and Dominique Schr¨oder Saarland University Abstract. A Physically Unclonable Function (PUF) can be seen as a source of randomness that can be challenged with a stimulu

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-04-02 12:17:10
134Computer arithmetic / Arithmetic / Functions and mappings / Data types / Rounding / Function / Floating point / Group action / Exponentiation / Mathematics / Abstract algebra / Binary operations

Foundations of Exact Rounding Chee K. Yap and Jihun Yu Department of Computer Science Courant Institute of Mathematical Sciences New York University 251 Mercer Street

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2008-12-04 23:51:46
135Constructible universe / Ordinal number / Quantum logic / Dimensionless physical constant / Function / Abstraction / Net / Predicate / Ordinal arithmetic / Mathematics / Mathematical logic / Logic

Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN

Add to Reading List

Source URL: cleamc11.vub.ac.be

Language: English - Date: 2014-05-02 12:27:43
136Philosophy of mathematics / Value / Science / Academia / Service dominant logic / Abstraction / Axiology / Logic

Foundations of Service-Dominant Logic S-D Logic Naples Forum, Doctoral Consortium

Add to Reading List

Source URL: www.sdlogic.net

Language: English - Date: 2013-07-17 19:52:54
137Constructible universe / Ordinal number / Quantum logic / Dimensionless physical constant / Function / Abstraction / Net / Predicate / Ordinal arithmetic / Mathematics / Mathematical logic / Logic

Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN

Add to Reading List

Source URL: cleamc11.vub.ac.be

Language: English - Date: 2014-05-02 12:27:43
138Knowledge / Mathematical logic / Philosophy of mathematics / Education reform / SAT / Foundations of mathematics / Geometry / Mathematical proof / Mathematician / Mathematics / Mathematics education / Education

Michael K. Smith, “Why is Pythagoras Following Me?” Phi Delta Kappan, February 1989, pp[removed]Reproduced with the permission of Phi Delta Kappan magazine). Remember the butterflies in your stomach on the morning

Add to Reading List

Source URL: testprepvideos.com

Language: English - Date: 2005-09-23 12:17:28
139Type theory / Dependently typed programming / Metalogic / Logic in computer science / Mathematical constructivism / Intuitionistic type theory / Logical framework / Constructivism / Impredicativity / Logic / Mathematics / Mathematical logic

A type-theoretic framework for formal reasoning with different logical foundations Zhaohui Luo? Dept of Computer Science, Royal Holloway, Univ of London Egham, Surrey TW20 0EX, U.K. [removed]

Add to Reading List

Source URL: www.cs.rhul.ac.uk

Language: English
140Distributed computing / Computational learning theory / Mathematics / Theoretical computer science / Applied mathematics / Computer science

34th International Symposium on Mathematical Foundations of Computer Science August 24  28, 2009 High Tatras, Slovakia

Add to Reading List

Source URL: www.mfcs.sk

Language: English - Date: 2009-03-06 03:36:00
UPDATE